G. Japaridze; "Introduction to computability logic"